lnk{-}inv($l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$($l$.2).1, $l$.1, $l$.2.2$>$